Approach to verify model of tcpn workflow net based on graph reduction 工作流网模型的验证方法
To verify the structural correctness , a structural conflict verification method of workflow models based on graph reduction is introduced in this paper . with this method , we can figure out all structural conflicts of workflow model . to verify execution performance , we should rely on simulation and comprehensive bpi system 为了保证工作流模型的结构正确性,本文采用了一种基于图归约法的工作流模型结构冲突检测方法,该方法可以成功的检测出工作流模型中存在的各种结构冲突;为了保证业务过程的运行性能,仿真运行过程模型,借助业务流程综合评价指标体系,通过分析过程模型运行结果,从而得到模型的运行性能指标。
In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non-strict evaluation is also known as lazy evaluation and used in functional programming languages.
graph reductionとは意味:グラフ還元{かんげん} graph reduction meaning:[Computer] A technique invented by Chris Wadsworth where an expression is represented as a directed graph (usually drawn as an inverted tree). Each node represents a function call and its subtrees ...graph reduction перевод:мат. редукция графа